TSTP Solution File: ITP241^4 by Nitpick---2016